package fsmCooperanti;


import java.io.File;
import java.util.Vector;

import javax.swing.JOptionPane;

import interfaccia.*;
import fsmCore.*;
import sistema.*;

public class Esecuzione{

	private static Macchina fsm [];
	private static Vector<ClasseEquivalenza> classiEq;
	public static void main(String[] args) {

		 Macchina m1,m2;
		 fsm = new Macchina[2];
		 
		 File fileMacchina1= new File("salvataggi/macchina1.fsm");
		 File fileMacchina2= new File("salvataggi/macchina2.fsm");
		 File fileClassiEQ= new File("salvataggi/classiEQ.fsm");
		
		 if(fileMacchina1.exists()&&fileMacchina2.exists()&&fileClassiEQ.exists()){
			 m1=(Macchina)Salvataggio.caricaOggetto(fileMacchina1);
			 m2=(Macchina)Salvataggio.caricaOggetto(fileMacchina2);
			 classiEq= (Vector<ClasseEquivalenza>)Salvataggio.caricaOggetto(fileClassiEQ); 
			
			 if(m1!=null&&m2!=null&&classiEq!=null)
				 JOptionPane.showMessageDialog(null, "Caricamento completato con successo");		 
		 }
		 else{
		 m1= new Macchina();
		 m2= new Macchina();
		 classiEq= new Vector<ClasseEquivalenza>();
		 ClasseEquivalenza c1= new ClasseEquivalenza("default", 1);
		 classiEq.add(c1);
		 JOptionPane.showMessageDialog(null, "Impossibile caricare il progetto\nFile corrotto");
		 }
			 
		 fsm[0]=m1;
		 fsm[1]=m2;
		 MainMenu m= new MainMenu(classiEq,fsm);
		 m.visualizzaFinestra();
		
	}
}//main
